Introduction to HOL - a theorem proving environment for higher order logic
- Författare
- (Edited by M.J.C. Gordon and T.F. Melham.)
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Cambridge Univ. Press | 1993 | Storbritannien, Cambridge | xx, 472 sidor. |